home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / tman.lha / tman / file.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1990-10-02  |  5KB  |  103 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="height: 2.17ex; vertical-align: 172.70ex; " SRC="|."$dir".q|img7.png"
  6.  ALT="\begin{inset}{}
  7. Coerces \iix{filespec} to a filename.
  8. \begin{itemize}
  9. \item[{}]I...
  10. ...ns, since the coercion of strings to filenames
  11. is not defined here.
  12. \end{inset}">|; 
  13. $key = q/{codexenv}#[Filename{{it{file-systemdirnametypegenslash}]{codexenv};AAT/;
  14. $cached_env_img{$key} = q|<IMG
  15.   STYLE="height: 2.17ex; vertical-align: 176.55ex; " SRC="|."$dir".q|img5.png"
  16.  ALT="\begin{codexenv}
  17. \char93 [Filename {\it file-system dir name type gen\/}]
  18. \end{codexenv}">|; 
  19. $key = q/{inset}{}Deletesthespecifiedfile.inset{{Bug:}Notallversionsof{{bf{T}3.1implement{{tt{FILE-DELETE}.inset{{inset};AAT/;
  20. $cached_env_img{$key} = q|<IMG
  21.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img20.png"
  22.  ALT="\begin{inset}{}
  23. Deletes the specified file.
  24. \begin{inset}{Bug:}
  25. Not all versions of {\bf T} 3.1 implement {\tt FILE-DELETE}.
  26. \end{inset}\end{inset}">|; 
  27. $key = q/{inset}{}Like{{tt{OPEN},butreturnsfalseifforanyreasonitcannotopenthefile.{inset};AAT/;
  28. $cached_env_img{$key} = q|<IMG
  29.   STYLE="height: 196.25ex; vertical-align: -0.57ex; " SRC="|."$dir".q|img16.png"
  30.  ALT="\begin{inset}{}
  31. Like {\tt OPEN}, but returns false if for any reason it
  32. cannot open the file.
  33. \end{inset}">|; 
  34. $key = q/{inset}{}Returnsthedirectorycomponentof{{it{filenameslash}.{inset};AAT/;
  35. $cached_env_img{$key} = q|<IMG
  36.   STYLE="height: 2.38ex; vertical-align: 176.40ex; " SRC="|."$dir".q|img10.png"
  37.  ALT="\begin{inset}{}
  38. Returns the directory component of {\it filename\/}.
  39. \end{inset}">|; 
  40. $key = q/{inset}{}Returnsthefilesystemcomponentof{{it{filenameslash},orfalse(null)ifithasnone.{inset};AAT/;
  41. $cached_env_img{$key} = q|<IMG
  42.   STYLE="height: 2.17ex; vertical-align: 176.55ex; " SRC="|."$dir".q|img9.png"
  43.  ALT="\begin{inset}{}
  44. Returns the file system component of {\it filename\/}, or false (null)
  45. if it has none.
  46. \end{inset}">|; 
  47. $key = q/{inset}{}Returnsthegenerationcomponentof{{it{filenameslash}.{inset};AAT/;
  48. $cached_env_img{$key} = q|<IMG
  49.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img13.png"
  50.  ALT="\begin{inset}{}
  51. Returns the generation component of {\it filename\/}.
  52. \end{inset}">|; 
  53. $key = q/{inset}{}Returnsthelocalfilesystemobject.{inset};AAT/;
  54. $cached_env_img{$key} = q|<IMG
  55.   STYLE="height: 196.25ex; vertical-align: -0.57ex; " SRC="|."$dir".q|img1.png"
  56.  ALT="\begin{inset}{}
  57. Returns the local file system object.
  58. \end{inset}">|; 
  59. $key = q/{inset}{}Returnsthenamecomponentof{{it{filenameslash}.codexenv{(FILENAME-NAME'#[Filename()MATHFACTT]){Longrightarrow{FACTcodexenv{{inset};MSF=1.6;AAT/;
  60. $cached_env_img{$key} = q|<IMG
  61.   STYLE="height: 2.17ex; vertical-align: 176.55ex; " SRC="|."$dir".q|img11.png"
  62.  ALT="\begin{inset}{}
  63. Returns the name component of {\it filename\/}.
  64. \begin{codexenv}...
  65. ...r93 [Filename () MATH FACT T]) $\Longrightarrow$ FACT
  66. \end{codexenv}\end{inset}">|; 
  67. $key = q/{inset}{}Returnsthetypecomponentof{{it{filenameslash}.{inset};AAT/;
  68. $cached_env_img{$key} = q|<IMG
  69.   STYLE="height: 2.38ex; vertical-align: 176.40ex; " SRC="|."$dir".q|img12.png"
  70.  ALT="\begin{inset}{}
  71. Returns the type component of {\it filename\/}.
  72. \end{inset}">|; 
  73. $key = q/{inset}{}Returnstrueifthespecifiedfileexists.{inset};AAT/;
  74. $cached_env_img{$key} = q|<IMG
  75.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img18.png"
  76.  ALT="\begin{inset}{}
  77. Returns true if the specified file exists.
  78. \end{inset}">|; 
  79. $key = q/{inset}{}Returnstrueif{{it{file-systemslash}representsaUnixfilesystem.{inset};AAT/;
  80. $cached_env_img{$key} = q|<IMG
  81.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img3.png"
  82.  ALT="\begin{inset}{}
  83. Returns true if {\it file-system\/} represents a Unix file system.
  84. \end{inset}">|; 
  85. $key = q/{inset}{}Returnstrueif{{it{file-systemslash}representsaVMSfilesystem.{inset};AAT/;
  86. $cached_env_img{$key} = q|<IMG
  87.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img4.png"
  88.  ALT="\begin{inset}{}
  89. Returns true if {\it file-system\/} represents a VMS file system.
  90. \end{inset}">|; 
  91. $key = q/{inset}{}Returnstrueif{{it{file-systemslash}representsanAegisfilesystem.{inset};AAT/;
  92. $cached_env_img{$key} = q|<IMG
  93.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img2.png"
  94.  ALT="\begin{inset}{}
  95. Returns true if {\it file-system\/} represents an Aegis file system.
  96. \end{inset}">|; 
  97. $key = q/{inset}{}Returnstrueif{{it{objectslash}isafilename.{inset};AAT/;
  98. $cached_env_img{$key} = q|<IMG
  99.   STYLE="height: 2.17ex; vertical-align: 172.83ex; " SRC="|."$dir".q|img8.png"
  100.  ALT="\begin{inset}{}
  101. Returns true if {\it object\/} is a filename.
  102. \end{inset}">|; 
  103.